GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>David Gries</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">David Gries</span></h1>

</header>

</div>

<p><b>David Gries</b> (* <a href="26._April" title="26. April">26. April</a> <a href="1939" title="1939">1939</a> in <a href="Flushing" title="Flushing">Flushing</a>)<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> ist ein <a href="Vereinigte_Staaten" title="Vereinigte Staaten">US-amerikanischer</a> <a href="Informatiker" title="Informatiker">Informatiker</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Leben_und_Wirken">Leben und Wirken</h2></div>

<p>Gries studierte am <a href="Queens_College%2C_City_University_of_New_York" title="Queens College, City University of New York">Queens College</a> in <a href="New_York_City" title="New York City">New York</a> mit dem <a href="Bachelor" title="Bachelor">Bachelor</a>-Abschluss 1960, an der <a href="University_of_Illinois_at_Urbana-Champaign" title="University of Illinois at Urbana-Champaign">University of Illinois at Urbana-Champaign</a> mit dem <a href="Master" title="Master">Master</a>-Abschluss 1963 und an der <a href="Technische_Universit%C3%A4t_M%C3%BCnchen" title="Technische Universität München">Technischen Universität München</a>, an der er seit 1963 Assistent war und 1966 bei <a href="Friedrich_L._Bauer" title="Friedrich L. Bauer">Friedrich L. Bauer</a> in Mathematik promoviert wurde („Über einige Klassen von Normen“)<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>.

</p><p>1960 bis 1962 war er Programmierer am US Naval Weapons Laboratory. 1966 wurde er <i><a href="Assistant_Professor" title="Assistant Professor">Assistant Professor</a></i> für Informatik an der <a href="Stanford_University" title="Stanford University">Stanford University</a>, 1969 <i>Associate Professor</i> an der <a href="Cornell_University" title="Cornell University">Cornell University</a>, an der er 1977 <a href="Professor" title="Professor">Professor</a> wurde. 1982 bis 1987 stand er dort der Fakultät für Informatik vor. 1999 bis 2003 war er Professor an der <a href="University_of_Georgia" title="University of Georgia">University of Georgia</a> in Athens und danach wieder an der Cornell University. Er ist dort <i>Associate Dean</i> für <i>Undergraduate Programs</i> im College of Engineering.

</p><p>Für seinen Aufsatz <i>An Axiomatic Proof Technique for Parallel Programs</i><sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup> mit Susan Owicki wurde er Fellow der ACM und für einen zugehörigen Aufsatz<sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup> erhielt er 1977 den <i>ACM Programming Systems and Languages Award</i>. Die Autoren übertrugen darin das <a href="Hoare-Kalk%C3%BCl" title="Hoare-Kalkül">Hoare-Kalkül</a> auf Parallelprogramme. Er schrieb ein frühes Lehrbuch über <a href="Compiler" title="Compiler">Compilerbau</a> (1971), das in mehrere Sprachen übersetzt wurde, und einführende Lehrbücher in die Informatik im Rahmen der <a href="Strukturierte_Programmierung" title="Strukturierte Programmierung">Strukturierten Programmierung</a>, wobei die zugrundeliegenden Programmiersprachen wechselten bis zu seinen jüngsten Büchern mit Paul Gries, die <a href="Java_(Programmiersprache)" title="Java (Programmiersprache)">Java</a> benutzten.

</p><p>1975/76 war er im Sabbatjahr an der TU München, 1983/84 in Oxford, 1990/91 an der University of Texas at Austin und 1997 an der Oregon State University.

</p><p>Er ist <a href="Fellow" title="Fellow">Fellow</a> der <a href="American_Association_for_the_Advancement_of_Science" title="American Association for the Advancement of Science">American Association for the Advancement of Science</a> und der <a href="Association_for_Computing_Machinery" title="Association for Computing Machinery">Association for Computing Machinery</a>. 1983/84 war er Guggenheim Fellow. 1994 erhielt er den Society Taylor L. Booth Education Award des IEEE. Er ist Ehrendoktor der Miami University in <a href="Oxford_(Ohio)" title="Oxford (Ohio)">Oxford (Ohio)</a> und des Daniel Webster College. 1995 erhielt er den ACM Karl V. Karlstrom Outstanding Educator Award.<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup>

</p><p>Zu seinen Doktoranden gehören <a href="Susan_L._Graham" title="Susan L. Graham">Susan L. Graham</a> (Professorin in <a href="Berkeley" title="Berkeley">Berkeley</a>) und Susan Owicki (1975, Professorin in <a href="Stanford_University" title="Stanford University">Stanford</a>).

</p><p>Sein Sohn Paul Gries, mit dem er auch Bücher veröffentlichte, ist Professor für Informatik an der <a href="University_of_Toronto" title="University of Toronto">University of Toronto</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Schriften">Schriften</h2></div>

<ul><li><i>Compiler Construction for Digital Computers</i>, John Wiley and Sons, New York, 1971</li>

<li>mit Richard Conway: <i>A Primer on Structured Programming, Using PL/I, PL/C and PL/C7.</i> 1976</li>

<li>mit R. Conway, E. C. Zimmerman: <i>Primer on Structured Programming using Pascal.</i> 1976, .</li>

<li>mit R. Conway, D. Wortman: <i>An Introduction to Structured Programming using SP/K.</i> 1977.</li>

<li>mit R. Conway: <i>An Introduction to Programming --a structured approach.</i> Winthrop, Cambridge, 3. Auflage, 1978</li>

<li>mit R. Conway, M. Fay, C. Bass: <i>Introduction to Microprocessor Programming using PL/Z.</i> 1979</li>

<li>als Herausgeber: <i>Programming Methodology: a Collection of Articles by Members of IFIP WG2.3.</i> Springer Verlag, New York, 1979,</li>

<li><i>The Science of Programming.</i> Springer Verlag, New York, 1981</li>

<li>mit W.H.J. Feijen, A.J.M. van Gasteren, J. Misra (Hrsg.): <i>Beauty is our Business.</i> Springer Verlag, New York, 1990</li>

<li>mit Fred B. Schneider: <i>Instructor's Manual for „A Logical Approach to Discrete Math“.</i> Ithaca, 1993.</li>

<li>mit F. B. Schneider: <i>A Logical Approach to Discrete Math.</i> Springer Verlag, NY, 1993</li>

<li>mit W.-P. De Roever (Hrsg.): <i>Programming Concepts and Methods, PROCOMET '98</i> (ed.). Chapman and Hall, London, 1998.</li>

<li>mit P. Gries: <i>Multimedia Introduction to Programming Using Java.</i> Springer Verlag, NY, 2004</li>

<li>mit P. Gries, Petra Hall: <i>The ProgramLive Companion.</i> John Wiley & Sons, NY, 2001, ISBN 9780471208044.</li>

<li>mit P. Gries, Petra Hall: <i>ProgramLive. DataDescription.</i> Ithaca, NY, 2000</li>

<li><i>The ABC Book of Computer Science at Cornell</i>, Ithaca 2005</li>

<li><i>On structured programming</i>, Communications of the ACM, Band 17, 1974, S. 655–657 (wieder abgedruckt in Gries (Hrsg.), Programming Methodology, 1979)</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li><a rel="nofollow" class="external text" href="http://www.cs.cornell.edu/gries/vita/vita2007.pdf">Curriculum Vitae, 2007, Cornell University pdf</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text">Lebensdaten nach <i>American Men and Women of Science</i>, Thomson Gale 2004</span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://www.mathgenealogy.org/id.php?id=22781">David Gries</a> im <a href="Mathematics_Genealogy_Project" title="Mathematics Genealogy Project">Mathematics Genealogy Project</a> (englisch) <span style="display:none">Vorlage:MathGenealogyProject/Wartung/id verwendet</span></span>

</li>

<li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a></span> <span class="reference-text">Acta Informatica, Band 6, 1976, S. 319–340, wieder abgedruckt in Gries (Hrsg.), Programming methodology, 1979</span>

</li>

<li id="cite_note-4"><span class="mw-cite-backlink"><a href="#cite_ref-4">↑</a></span> <span class="reference-text">Gries, Owicki, <i>Verifying properties of parallel programs: an axiomatic approach</i>, Communications of the ACM, Mai 1976</span>

</li>

<li id="cite_note-5"><span class="mw-cite-backlink"><a href="#cite_ref-5">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://awards.acm.org/award_winners/gries_1028422.cfm">Karlstrom Award</a></span>

</li>

</ol>

<div>

Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/1100087184">1100087184</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n50031630">n50031630</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/84025979/">84025979</a></span> | </div>

</div></div>

</div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2023-11-22" href="https://de.wikipedia.org/wiki/?title=David_Gries&oldid=239367721">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>